ci: Tweak the HTML report style

The header needs to take into account the job id field.

diff --git a/.gitlab-ci/meson-html-report.py b/.gitlab-ci/meson-html-report.py
index 77832d8af78e6be5df5ffe797f17e27297e1acb2..4a2b3643f4088e41c4d624663b99e6db4ed9d367 100755 (executable)
--- a/.gitlab-ci/meson-html-report.py
+++ b/.gitlab-ci/meson-html-report.py
@@ -52,7 +52,7 @@ header {
 }
 
 article {
-  padding-top: 160px;
+  padding-top: 200px;
   margin: 2em;
 }